Federated description logics for the semantic web

摘要

The thesis deals with a family of federated description logicsfor creating modular ontologies in the semantic web. All theselogics share modularity, the possibility to reuse concept namesand role names by importing, and context-sensitive interpretationof all logical connectives. Apart from the main basic languageF-ALCI, we present a lattice-based extension LF-ALCI, aprobabilistic extension PF-ALCI and an extension that employsknowledge operators F-ALCIK. All languages are based on theordinary well-known description logic ALCI.